Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
581	JOURNAL OF COMPUTATIONAL BIOLOGY Volume 7, Numbers 1/2, 2000 Mary Ann Liebert, Inc. Pp. 71–94 Ef cient Detection of Unusual Words Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2001-09-03 17:20:36 Combinatory logic Knuth–Morris–Pratt algorithm Theoretical computer science Applied mathematics Mathematics Algebra of random variables Covariance Covariance and correlation
582	Book review of Descriptive Complexity by Neil Immerman (Graduate texts in Computer Science, Springer, [removed]Appeared in the Bulletin of Symbolic Logic vol. 7 no. 4 December, 2001 pages[removed]Overview Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:06 Finite model theory Computational complexity theory Descriptive complexity Structural complexity theory Descriptive complexity theory Mathematical logic P versus NP problem FO P Theoretical computer science Applied mathematics Complexity classes
583	Circumventing d-to-1 for Approximation Resistance of Satisfiable Predicates Strictly Containing Parity of Width at Least Four Add to Reading List Source URL: theoryofcomputing.org Language: English - Date: 2013-09-14 14:14:04 Logic in computer science Quantum mechanics Approximation algorithm Combinatory logic Reduction Parity Theoretical computer science Physics Computational complexity theory
584	Curriculum vitae Robin Cooper Add to Reading List Source URL: www.ling.gu.se Language: English - Date: 2013-04-17 05:37:22 Logic John Perry Montague grammar Computational semantics Formal semantics Generative semantics Pragmatics Quantification James Higginbotham Semantics Linguistics Philosophy of language
585	In-vitro characterization of a cochlear implant system for recording of evoked compound action potentials Add to Reading List Source URL: www.ncbi.nlm.nih.gov Language: English Artificial intelligence Neural networks Fuzzy logic Computational neuroscience Neuro-fuzzy Neurotechnology Electromyography Adaptive neuro fuzzy inference system Fuzzy control system Science Logic Statistics
586	Building Better Nurse Scheduling Algorithms Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-03-20 07:15:37 Operations research Mathematical optimization Computational complexity theory Algorithm Mathematical logic Genetic algorithm Linear programming Time complexity Local search Theoretical computer science Applied mathematics Mathematics
587	Circular Logic for Computational Semantics Dr. Axel Arturo Barceló Aspeitia Instituto de Investigaciones Filosóficas Add to Reading List Source URL: www.filosoficas.unam.mx Language: English - Date: 2013-02-18 15:25:56 Metalogic Propositional calculus Mathematical logic Well-formed formula Interpretation Entailment First-order logic Tautology Expression Logic Logical syntax Formal languages
588	Computational Complexity of Higher Type Functions Stephen A. Cook * University of Toronto, Toronto, Ontario M5S 1A4, Canada Add to Reading List Source URL: www.mathunion.org Language: English - Date: 2012-04-18 10:48:30 Mathematical logic Computational complexity theory Functions and mappings Polynomial Turing reduction Function Oracle machine Theoretical computer science Mathematics Computability theory
589	Completeness in the Polynomial-Time Hierarchy A Compendium∗ Marcus Schaefer Add to Reading List Source URL: ovid.cs.depaul.edu Language: English - Date: 2008-10-05 12:49:10 Boolean algebra Logic in computer science NP-complete problems Combinatorics Boolean satisfiability problem Electronic design automation Conjunctive normal form Partition True quantified Boolean formula Theoretical computer science Mathematics Computational complexity theory
590	Clause Form Conversions for Boolean Circuits Paul Jackson and Daniel Sheridan School of Informatics, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-05-20 12:27:00 Logic Boolean algebra Propositional formula IP 2-satisfiability Theoretical computer science Computational complexity theory Conjunctive normal form

UPDATE